Podcast Número Imaginário

Neste episódio falarei um pouco sobre alguns critérios que podemos empregar para avaliarmos se estamos diante de um bom ou um mau argumento.

Neste episódio falarei um pouco sobre a importância da matemática – segundo a concepção educacional de Platão – para a formação de futuros filósofos.

Neste episódio falarei um pouco sobre a organização da lógica com base nas três operações do intelecto - a simples apreensão, o juízo e o raciocínio - conforme assim a apresentou o monge dominicano Tomás de Aquino.

Neste episódio falarei um pouco sobre os escritos lógicos de Aristóteles reunidos na obra Organon.

Neste episódio falarei um pouco sobre a lógica, a dialética e a retórica, que constituem, por assim dizer, as três principais vias do discurso argumentativo.

Nesse episódio do podcast falarei um pouco sobre o que é uma definição, trazendo a discussão um pouco mais para o campo da lógica matemática e dando ênfase nas definições formais – que são definições que ocorrem no escopo de uma linguagem formal.

Nesse episódio eu comento brevemente a chamada Tese de Church (ou tese de Church-Turing), que conecta a ideia intuitiva de computabilidade (ou algoritmo) com noções formais, dadas, por exemplo, pelo lâmbda-cálculo, de Alonzo Church, e pelas máquinas de Turing, do Alan Turing.

Nesse episódio eu apresento brevemente a nova série do nosso projeto intitulada "Máquina de Turing, Problema da Parada e Incompletude em Sistemas Formais". Esta série será desenvolvida especialmente para os atuais e futuros colaboradores do nosso projeto "Número Imaginário" lá no Padrim.

A matemática geralmente funciona assim: a partir de certos princípios especificados (axiomas), obtém-se consequências necessárias desses princípios por meio do raciocínio lógico – os chamados teoremas. Uma área da matemática busca o caminho inverso fazendo a seguinte pergunta: dado um teorema matemático T, quais os princípios mais básicos a partir dos quais podemos provar T? É sobre essa área dos fundamentos da matemática chamada de matemática reversa que falaremos neste episódio.

Neste episódio falarei um pouco sobre a otimização matemática, área da matemática aplicada e computacional que tem como objetivo a busca de mínimos e máximos de funções e que possui importantes aplicações nos mais diversos setores da sociedade.

Neste episódio apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais.

Neste episódio continuarei falando sobre geometrias não euclidianas, dando destaque agora para os trabalhos de Gauss e Riemann.

Neste episódio, começarei a falar um pouco sobre as geometrias não euclidianas, partindo de 300 A.C. com Euclides e indo até o início do século XIX, mostrando as principais ideias que mais tarde darão origem a essas novas geometrias.

O que é um número? Neste episódio falarei um pouco sobre a construção lógica do conceito de número realizada pelo matemático, lógico e filósofo Gottlob Frege..

Neste episódio indicarei um livro que reúne e explica vários conceitos matemáticos que aparecem nas séries de TV "Os Simpsons" e "Futurama".

Neste episódio tentarei responder às seguintes questões: será que o conjunto dos números naturais 'N' está de fato contido no conjunto dos números inteiros 'Z'? É possível que de alguma forma não esteja? O que são números naturais e números inteiros do ponto de vista da teoria formal de conjuntos?

Neste episódio farei uma breve observação sobre o episódio #021 do podcast, intitulado "David Hilbert e os Fundamentos da Matemática", explicando em que sentido o programa de Hilbert pretendia salvar, por assim dizer, a matemática clássica.

Neste episódio falarei um pouco sobre o programa de Hilbert - um conjunto de ideias fundamentais, digamos assim, para se justificar a matemática clássica por meio de um tipo de raciocínio denominado finitário, proposto pelo matemático alemão David Hilbert.

Neste episódio falarei um pouco sobre algumas teorias de conjuntos e como essas teorias possuem diferentes conceitos e permitem concluir resultados muitas vezes conflitantes entre si (embora corretos dentro de seus próprios escopos).

Neste episódio, falarei um pouco sobre computação bioinspirada e mostrarei como cientistas da computação e matemáticos podem utilizar fenômenos, comportamentos e características biológicas de animais (inclusive do próprio ser humano) como fonte de inspiração para resolver problemas complexos.